A Situation Calculus Model of Hypertext
نویسندگان
چکیده
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic agents (as studied in arti cial intelligence) is used to represent the dynamics of a hypertext system. We argue that the formulation besides being of interest in itself has a number of advantages over other methods of formalizing hypertext systems.
منابع مشابه
A Graphical Query Language for Hypertext Database Systems
This paper presents a semantic data model for the implementation of hypertext database systems. The data model provides a framework for improving the functionality of hypertext systems. An important part of the model is its user interface, called the 11 informatics calculus". Based upon the notion of a functional query language, this is a graphical query language with powerful facilities for ex...
متن کاملA Nonlinear Creep-damage Constitutive Model of Mudstone Based on the Fractional Calculus Theory
During the flood development in an oil field, the creep characteristic of mudstone is one of the important factors causing casing damage. In this study, based on the theory of fractional order differential and taking into account the creep damage evolution rules, a fractional nonlinear creep-damage model is proposed to reflect the instantaneous deformation in loading processes and the accelerat...
متن کاملSituation Calculus as Answer Set Programming
We show how the situation calculus can be reformulated in terms of the first-order stable model semantics. A further transformation into answer set programs allows us to use an answer set solver to perform propositional reasoning about the situation calculus. We also provide an answer set programming style encoding method for Reiter’s basic action theories, which tells us how the solution to th...
متن کاملReformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and temporal action logics; the latter has served as a basis of a family of action languages, such as language A and several of its descendants. Based on the ...
متن کاملAbility in a Multi-agent Context: A Model in the Situation Calculus
This paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.
متن کامل